windowManager: Avoid fullscreen animation if the window has no texture

There is hardly anything to animate, so just avoid the animation in this
case.

https://bugzilla.gnome.org/show_bug.cgi?id=777784

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 551c3358cc9fc30e5aee5e476fdaf47b45510434..7fe4ac3a21be28e07fe125a0367847d01dd37965 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1082,6 +1082,9 @@ const WindowManager = new Lang.Class({
         if (!this._shouldAnimate())
             return false;
 
+        if (!actor.get_texture())
+            return false;
+
         let type = actor.meta_window.get_window_type();
         return types.indexOf(type) >= 0;
     },